Simultaneous Elimination by using Several Tools from Real Algebraic Geometry
نویسندگان
چکیده
منابع مشابه
Qualitative Spatial Reasoning Using Real Algebraic Geometry
Commonsense reasoning is a major challenge in Artificial Intelligence (AI). As qualitative descriptions comprise a great deal of our everyday language, commonsense reasoning is concerned with developing and processing such qualitative representations. This applies especially to commonsense reasoning about space, where spatial objects are in particular characterized by their spatial relations to...
متن کاملFormal proofs in real algebraic geometry: from ordered fields to quantifier elimination
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties. The theory of real algebraic numbers and more generally of semi-algebraic varieties is at the core of a number of effective methods in real analysis...
متن کاملNumerical Real Algebraic Geometry
Sottile’s lectures from the Oberwolfach Seminar “New trends in algorithms for real algebraic geometry”, November 23–28, 2009.
متن کاملEnumerative Real Algebraic Geometry
Two well-defined classes of structured polynomial systems have been studied from this point of view—sparse systems, where the structure is encoded by the monomials in the polynomials fi—and geometric systems, where the structure comes from geometry. This second class consists of polynomial formulations of enumerative geometric problems, and in this case Question 1.1 is the motivating question o...
متن کاملTopology and Real Algebraic Geometry
The problem of solving real polynomial equations long fascinated people. Starting with a finite number of points on the real line one can get many complicated spaces as zero sets of polynomials. For example every closed P.L. manifold occurs as an algebraic set [3]. The main goal of understanding the topology of algebraic sets is to topologically characterize the image of the forgetful functor {...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1999
ISSN: 0747-7171
DOI: 10.1006/jsco.1998.0268